/*
 * Created on Dec 1, 2003
 *
 * To change the template for this generated file go to
 * Window&gt;Preferences&gt;Java&gt;Code Generation&gt;Code and Comments
 */
package alloy.parse;

/**
 * @author Edmond Lau
 *
 * To change the template for this generated type comment go to
 * Window&gt;Preferences&gt;Java&gt;Code Generation&gt;Code and Comments
 */
public class PolymorphicCycleException extends Exception {
    PolymorphicCycleException() {
        super("PolymorphicCycleException");
    }
    PolymorphicCycleException(String s) {
        super(s);
    }
}
